Søkt på: markus müller
totalt 7 treff
Variations on Constants
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure …
Verification, Model Checking, and Abstract Interpretation
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, …
From Chemical to Biological Organization
Open nonlinear systems are capable of self-organization in space and time. This realization constitutes a major breakthrough of modern science, and is currently at the origin of …
High Performance Computing in Science and Engineering, Garching/Munich 2009
The Leibniz Supercomputing Centre (LRZ) and the Bavarian Competence Network for Technical and Scienti?c High Performance Computing (KONWIHR) publish in the present book results of …
Security in Pervasive Computing
Depressionen
Depressive Erkrankungen gehören gemäß Weltbank zu den drei medizinischen Top-Problemen. Gefragt sind deshalb Modelle einer optimalen, integrierten Versorgung. 22 Spezialistinnen …
Ellenbogen
Die Buchreihe „Meistertechniken in der operativen Orthopädie und Unfallchirurgie“ erlaubt es dem operativ tätigen Orthopäden und Unfallchirurgen, den Autoren - alle sind Meister …